<html>
<body>

<p>This package is responsible for ensuring that the AST corresponds
to a `good' program: It does name resolution (that is, it builds a
symbol table) and type checking.
</p>


</body>
</html>